例文Works by Hsiang, Julius Shaneson, C . T . C . Wall, Robion Kirby, Laurent Siebenmann and Andrew Casson lead in the 1960s to the proof of the annulus theorem ( previously known as the annulus conjecture ).